Invited Talk at SUTD

Honored to be giving my talk on ‘Trustworthy Automatic Programming’ at the Singapore University of Technology and Design. Many thanks to faculty members of SUTD for this incredible opportunity and your hospitality and engaging discussions